منابع مشابه
Higher Dimensional Hypercategories
We introduce higher dimensional hypergraphs, which is a generalization of Baez-Dolans’s opetopic sets and Hermida-Makkai-Power’s mutigraphs. This is based on a simple combinatorial structure called shells and the formal composites of pasting diagrams based on the closure of open shells. We give two types of graphical representation of higher dimensional cells which show effectively the relation...
متن کاملOn the Image of the Almost Strict Morse N -category under Almost Strict N -functors
In an earlier work, we constructed the almost strict Morse n-category X which extends Cohen & Jones & Segal’s flow category. In this article, we define two other almost strict n-categories V and W where V is based on homomorphisms between real vector spaces and W consists of tuples of positive integers. The Morse index and the dimension of the Morse moduli spaces give rise to almost strict n-ca...
متن کاملStrict Basic
In this paper we solve a long-standing open problem by showing that strict superposition|that is, superposition without equality factoring|is refutationally complete. The diiculty of the problem arises from the fact that the strict calculus, in contrast to the standard calculus with equality factoring, is not compatible with arbitrary removal of tautologies, so that the usual techniques for pro...
متن کاملSTRICT-WEAK LANGUAGES. An analysis of strict implication∗
Modal languages were originally based on the possible-world approach proposed by Lewis, Carnap and others. In other words, modal languages were originally designed to talk about necessity (the box) and possibility (the diamond). Nowadays, modal languages (and certain natural extensions like dynamic languages, μ-calculus language, . . . ) are viewed as tools for analyzing the properties of Kripk...
متن کاملOn the relationship between strict and non-strict outranking relations
Outranking relations such as produced by the Electre I or II or the Tactic methods are based on a concordance and non-discordance principle that leads to declaring that an alternative is “superior” to another, if the coalition of attributes supporting this proposition is “sufficiently important” (concordance condition) and if there is no attribute that “strongly rejects” it (non-discordance con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Hokkaido Mathematical Journal
سال: 2002
ISSN: 0385-4035
DOI: 10.14492/hokmj/1350911899